ألونزو تشرتش بالانجليزي
- alonzo church
- ألونزو alonzo (rapper)
- ألونزو تشابل alonzo chappel
- تشاد ألونزو chad alonzo
أمثلة
- He is one of many logicians to have studied with Alonzo Church.
وهو واحد من العديد من علماء المنطق الذين درسوا مع ألونزو تشرتش . - It was first introduced by mathematician Alonzo Church in the 1930s as part of his research of the foundations of mathematics.
قدم لأول مرة من قبل عالم الرياضيات ألونزو تشرتش في الثلاثينيات من القرن الماضي في اطار التحقيقات في أسس الرياضيات. - This was done by Alonzo Church in 1936 with the concept of "effective calculability" based on his λ-calculus and by Alan Turing in the same year with his concept of Turing machines.
وقد فعل ذلك ألونزو تشرتش عام 1936 مع مفهوم "القدرة الحسابية الفعالة" على أساس حسابات اللامدا الخاصة به وآلان تورنغ في نفس السنة بمفهومه آلة تورنغ وقد تم الاعترف في وقت لاحق أن هذه المفاهيم معادلة لنماذج الحساب.